Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
3

On the complexity of core, kernel, and bargaining set

Рік:
2011
Мова:
english
Файл:
PDF, 568 KB
english, 2011
4

Outlying property detection with numerical attributes

Рік:
2017
Мова:
english
Файл:
PDF, 1.19 MB
english, 2017
5

Optimization of join strategies in distributed databases

Рік:
1991
Мова:
english
Файл:
PDF, 1.04 MB
english, 1991
6

Outlier detection for simple default theories

Рік:
2010
Мова:
english
Файл:
PDF, 157 KB
english, 2010
7

Outlier detection using default reasoning

Рік:
2008
Мова:
english
Файл:
PDF, 539 KB
english, 2008
9

More on tractable disjunctive Datalog

Рік:
2000
Мова:
english
Файл:
PDF, 558 KB
english, 2000
10

Reasoning with minimal models: efficient algorithms and applications

Рік:
1997
Мова:
english
Файл:
PDF, 2.03 MB
english, 1997
11

Algorithms for selective enumeration of prime implicants

Рік:
1999
Мова:
english
Файл:
PDF, 245 KB
english, 1999
12

NP-SPEC: an executable specification language for solving all problems in NP

Рік:
2000
Мова:
english
Файл:
PDF, 225 KB
english, 2000
13

Soft real-time scheduling for embedded control systems

Рік:
2013
Мова:
english
Файл:
PDF, 630 KB
english, 2013
14

On the tractability of minimal model computation for some CNF theories

Рік:
2014
Мова:
english
Файл:
PDF, 458 KB
english, 2014
17

Outlier detection by logic programming

Рік:
2007
Мова:
english
Файл:
PDF, 624 KB
english, 2007
18

Computational properties of metaquerying problems

Рік:
2003
Мова:
english
Файл:
PDF, 324 KB
english, 2003
23

Reference Module in Life Sciences || Algorithms for Graph and Network Analysis: Graph Alignment

Рік:
2018
Мова:
english
Файл:
PDF, 338 KB
english, 2018
29

Extending Datalog with arrays

Рік:
1995
Мова:
english
Файл:
PDF, 1.65 MB
english, 1995
30

Improving protein secondary structure predictions by prediction fusion

Рік:
2009
Мова:
english
Файл:
PDF, 839 KB
english, 2009
32

On the complexity of inducing categorical and quantitative association rules

Рік:
2004
Мова:
english
Файл:
PDF, 441 KB
english, 2004
34

Semi-automatic techniques for deriving interscheme properties from database schemes

Рік:
1999
Мова:
english
Файл:
PDF, 868 KB
english, 1999
35

Circumscribing datalog: Expressive power and complexity

Рік:
1998
Мова:
english
Файл:
PDF, 2.03 MB
english, 1998
38

IP6K gene identification in plant genomes by tag searching

Рік:
2011
Мова:
english
Файл:
PDF, 3.03 MB
english, 2011
41

Polynomial-time computable stable models

Рік:
1996
Мова:
english
Файл:
PDF, 1.73 MB
english, 1996
42

Detecting and repairing anomalous evolutions in noisy environments

Рік:
2010
Мова:
english
Файл:
PDF, 929 KB
english, 2010
43

Netlog: a logic query language for network model databases

Рік:
1991
Мова:
english
Файл:
PDF, 1.22 MB
english, 1991
44

A rule-based update language for complex objects with identity

Рік:
1994
Мова:
english
Файл:
PDF, 2.16 MB
english, 1994
45

Testing logic programs for local stratification

Рік:
1992
Мова:
english
Файл:
PDF, 1.59 MB
english, 1992
46

A language for updating logic programs and its implementation

Рік:
1995
Мова:
english
Файл:
PDF, 3.68 MB
english, 1995
47

Propositional lower bounds: Algorithms and complexity

Рік:
1999
Мова:
english
Файл:
PDF, 149 KB
english, 1999
48

Editorʼs foreword

Рік:
2012
Мова:
english
Файл:
PDF, 69 KB
english, 2012
49

Efficient and robust probabilistic guarantees for real-time tasks

Рік:
2012
Мова:
english
Файл:
PDF, 988 KB
english, 2012